/********************************************************************************
** Form generated from reading ui file 'MainWindow.jui'
**
** Created: Cz 26. maj 23:40:02 2011
**      by: Qt User Interface Compiler version 4.5.2
**
** WARNING! All changes made in this file will be lost when recompiling ui file!
********************************************************************************/

package pl.edu.pw.elka.GIS.UI;

import com.trolltech.qt.core.*;
import com.trolltech.qt.gui.*;

public class Ui_MainWindow implements com.trolltech.qt.QUiForm<QMainWindow>
{
    public QWidget centralwidget;
    public QVBoxLayout verticalLayout_2;
    public QSplitter splitter;
    public QGroupBox workspace;
    public QVBoxLayout verticalLayout;
    public QHBoxLayout horizontalLayout;
    public QLabel workspaceLabel;
    public QPushButton changeWorkspace;
    public QListView graphsList;
    public QPushButton newGraph;
    public QTabWidget tabWidget;
    public QWidget tab;
    public QVBoxLayout verticalLayout_3;
    public QTableView editTableView;
    public QHBoxLayout horizontalLayout_2;
    public QLabel label_2;
    public QSpinBox vertexCount;
    public QSpacerItem horizontalSpacer;
    public QPushButton newEgdes;
    public QWidget tab_2;
    public QVBoxLayout verticalLayout_4;
    public QTableView scheduleView;
    public QHBoxLayout horizontalLayout_3;
    public QSpacerItem horizontalSpacer_2;
    public QLabel executionTimeLabel;
    public QLabel executionTime;

    public Ui_MainWindow() { super(); }

    public void setupUi(QMainWindow MainWindow)
    {
        MainWindow.setObjectName("MainWindow");
        MainWindow.resize(new QSize(800, 525).expandedTo(MainWindow.minimumSizeHint()));
        centralwidget = new QWidget(MainWindow);
        centralwidget.setObjectName("centralwidget");
        verticalLayout_2 = new QVBoxLayout(centralwidget);
        verticalLayout_2.setObjectName("verticalLayout_2");
        splitter = new QSplitter(centralwidget);
        splitter.setObjectName("splitter");
        splitter.setOrientation(com.trolltech.qt.core.Qt.Orientation.Horizontal);
        workspace = new QGroupBox(splitter);
        workspace.setObjectName("workspace");
        verticalLayout = new QVBoxLayout(workspace);
        verticalLayout.setObjectName("verticalLayout");
        horizontalLayout = new QHBoxLayout();
        horizontalLayout.setObjectName("horizontalLayout");
        workspaceLabel = new QLabel(workspace);
        workspaceLabel.setObjectName("workspaceLabel");

        horizontalLayout.addWidget(workspaceLabel);

        changeWorkspace = new QPushButton(workspace);
        changeWorkspace.setObjectName("changeWorkspace");
        QSizePolicy sizePolicy = new QSizePolicy(com.trolltech.qt.gui.QSizePolicy.Policy.Minimum, com.trolltech.qt.gui.QSizePolicy.Policy.Minimum);
        sizePolicy.setHorizontalStretch((byte)0);
        sizePolicy.setVerticalStretch((byte)0);
        sizePolicy.setHeightForWidth(changeWorkspace.sizePolicy().hasHeightForWidth());
        changeWorkspace.setSizePolicy(sizePolicy);
        changeWorkspace.setMaximumSize(new QSize(100, 16777215));

        horizontalLayout.addWidget(changeWorkspace);


        verticalLayout.addLayout(horizontalLayout);

        graphsList = new QListView(workspace);
        graphsList.setObjectName("graphsList");

        verticalLayout.addWidget(graphsList);

        newGraph = new QPushButton(workspace);
        newGraph.setObjectName("newGraph");

        verticalLayout.addWidget(newGraph);

        splitter.addWidget(workspace);
        tabWidget = new QTabWidget(splitter);
        tabWidget.setObjectName("tabWidget");
        tab = new QWidget();
        tab.setObjectName("tab");
        verticalLayout_3 = new QVBoxLayout(tab);
        verticalLayout_3.setObjectName("verticalLayout_3");
        editTableView = new QTableView(tab);
        editTableView.setObjectName("editTableView");

        verticalLayout_3.addWidget(editTableView);

        horizontalLayout_2 = new QHBoxLayout();
        horizontalLayout_2.setObjectName("horizontalLayout_2");
        label_2 = new QLabel(tab);
        label_2.setObjectName("label_2");

        horizontalLayout_2.addWidget(label_2);

        vertexCount = new QSpinBox(tab);
        vertexCount.setObjectName("vertexCount");
        vertexCount.setMaximum(10000);

        horizontalLayout_2.addWidget(vertexCount);

        horizontalSpacer = new QSpacerItem(40, 20, com.trolltech.qt.gui.QSizePolicy.Policy.Expanding, com.trolltech.qt.gui.QSizePolicy.Policy.Minimum);

        horizontalLayout_2.addItem(horizontalSpacer);

        newEgdes = new QPushButton(tab);
        newEgdes.setObjectName("newEgdes");

        horizontalLayout_2.addWidget(newEgdes);


        verticalLayout_3.addLayout(horizontalLayout_2);

        tabWidget.addTab(tab, com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Edytor grafu", null));
        tab_2 = new QWidget();
        tab_2.setObjectName("tab_2");
        verticalLayout_4 = new QVBoxLayout(tab_2);
        verticalLayout_4.setObjectName("verticalLayout_4");
        scheduleView = new QTableView(tab_2);
        scheduleView.setObjectName("scheduleView");

        verticalLayout_4.addWidget(scheduleView);

        horizontalLayout_3 = new QHBoxLayout();
        horizontalLayout_3.setObjectName("horizontalLayout_3");
        horizontalSpacer_2 = new QSpacerItem(40, 20, com.trolltech.qt.gui.QSizePolicy.Policy.Expanding, com.trolltech.qt.gui.QSizePolicy.Policy.Minimum);

        horizontalLayout_3.addItem(horizontalSpacer_2);

        executionTimeLabel = new QLabel(tab_2);
        executionTimeLabel.setObjectName("executionTimeLabel");

        horizontalLayout_3.addWidget(executionTimeLabel);

        executionTime = new QLabel(tab_2);
        executionTime.setObjectName("executionTime");

        horizontalLayout_3.addWidget(executionTime);


        verticalLayout_4.addLayout(horizontalLayout_3);

        tabWidget.addTab(tab_2, com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Harmonogram", null));
        splitter.addWidget(tabWidget);

        verticalLayout_2.addWidget(splitter);

        MainWindow.setCentralWidget(centralwidget);
        retranslateUi(MainWindow);

        tabWidget.setCurrentIndex(1);


        MainWindow.connectSlotsByName();
    } // setupUi

    void retranslateUi(QMainWindow MainWindow)
    {
        MainWindow.setWindowTitle(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Harmonogram", null));
        workspace.setTitle(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Przestrze\u0144 robocza", null));
        workspaceLabel.setText(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "TextLabel", null));
        changeWorkspace.setText(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Zmie\u0144", null));
        newGraph.setText(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Nowy graf", null));
        label_2.setText(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Rozmiar:", null));
        newEgdes.setText(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Generuj losowe kraw\u0119dzie", null));
        tabWidget.setTabText(tabWidget.indexOf(tab), com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Edytor grafu", null));
        executionTimeLabel.setText(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Czas wykonania (w milisekundach): ", null));
        executionTime.setText(com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "0", null));
        tabWidget.setTabText(tabWidget.indexOf(tab_2), com.trolltech.qt.core.QCoreApplication.translate("MainWindow", "Harmonogram", null));
    } // retranslateUi

}

